Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
861	S403 WFDSS Module - Information Officer Add to Reading List Source URL: wfdss.usgs.gov Language: English - Date: 2014-09-09 11:23:22 Decision theory Incident management Decision support system Decision model Decision analysis Decision-making Situation awareness Information Services Procurement Library Wildfire International Association of Wildland Fire Wildland Fire Lessons Learned Center
862	A Unified Approach to Polyvariance in Abstract Interpretations ∗ Thomas Gilray Matthew Might University of Utah Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-01-13 20:04:10 Character encoding Symbol Model theory String
863	N. Kobayashi and B. C. Pierce (Eds): Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), LNCS Vol. 2215, pp. 219–242, 2001. c Springer-Verlag Berlin Heidelberg 2001 Nominal Logic: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2001-10-22 05:59:46 Model theory Automated theorem proving Logic programming First-order logic Predicate logic Symbol Substitution Constructible universe Interpretation
864	BASICS OF ITEM RESPONSE THEORY THE FRANK B. BAKER Add to Reading List Source URL: echo.edres.org Language: English - Date: 2003-02-12 10:16:22 Psychometrics Statistical models Educational psychology Educational research Psychological testing Item response theory Rasch model Classical test theory Equating Georg Rasch Scale Psychometric software
865	The complexity of positive first-order logic without equality Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. Barnaby Martin ´Equipe d Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:41 Functional analysis Lemmas Symbol FO IP Dual space Craig interpolation Model theory Linear temporal logic
866	LNCSLongest Motifs with a Functionally Equivalent Central Block Add to Reading List Source URL: pbil.univ-lyon1.fr Language: English - Date: 2008-10-22 02:35:21 Logic in computer science FO Finite model theory Combinatory logic Formal languages Planted motif search
867	DRAFT COPY Georgia Department of Education SIG 1003(g) State Developed Model: Add to Reading List Source URL: www2.ed.gov Language: English - Date: 2016-07-08 09:55:16 Education theory WestEd Education in the United States Education School Improvement Grant Turnaround model
868	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem
869	Dynamical Mean-Field Theory: Materials from an Atomic Viewpoint Beyond the Landau Paradigm Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2014-09-03 06:19:53 Condensed matter physics Dynamical mean-field theory Hubbard model Strongly correlated material Mott transition Mott insulator Quasiparticle Fermi liquid theory Electronic band structure Nevill Francis Mott Superexchange Electronic correlation
870	K¨ unstliche Intelligenz manuscript No. (will be inserted by the editor) Gerhard Weiss (ed.): Multiagent Systems MIT Press, 867 pp., ISBN0 Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-02 10:18:48 Simulation Multi-agent systems Agent-oriented software engineering Software project management Agent-based model Argumentation theory

UPDATE